Parallel Controller Synthesis from a Petri Net Speci cation
نویسنده
چکیده
This paper presents new algorithms for the synthesis of parallel controllers that operate on a Petri net. This net is rst simpli ed by reduction, then coloured and nally used to generate a state assignment with which the controller can be synthesised. The new concept of using colours for detecting and representing concurrency within the Petri net is presented.
منابع مشابه
Synthesis of Protocol Entities' Speci cations from Service Speci cations in a Petri Net Model with Registers
In general, the services of a distributed system are provided by some cooperative protocol entities. The protocol entities must exchange some data values and synchronization messages in order to ensure the temporal ordering of the events which are described in a service speci cation of the distributed system. It is desirable that a correct protocol entity speci cation for each node can be deriv...
متن کاملSynthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers
In general, the services of a distributed system are provided by some cooperative protocol entities. The protocol entities must exchange some data values and synchronization messages in order to ensure the temporal ordering of the events which are described in a service speci cation of the distributed system. It is desirable that a correct protocol entity speci cation for each node can be deriv...
متن کاملProtocol Synthesis from Time Petri Net Based Service Speci cations
Some methods for deriving protocol speci cations from given service speci cations with time constraints have been proposed. However, existing methods cannot treat the class of service speci cations with both parallel synchronization and data values. They also assume that all clocks in the distributed system are synchronized. In this paper, we propose an algorithm to derive a correct protocol sp...
متن کاملProtocol Synthesis from Time Petri Net Based Service Specification
Some methods for deriving protocol speci cations from given service speci cations with time constraints have been proposed. However, existing methods cannot treat the class of service speci cations with both parallel synchronization and data values. They also assume that all clocks in the distributed system are synchronized. In this paper, we propose an algorithm to derive a correct protocol sp...
متن کاملA Framework for Scheduler Synthesis
In this paper we present a framework to integrate speci cation and scheduler generation for real-time systems. In a rst step, the system, which can include arbitrarily designed tasks (cyclic or sporadic, with or without precedence constraints, any number of resources and CPUs, . . . ) is speci ed in terms of a timed Petri-net formalism. We show how to generate, in a second step, the most genera...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995